home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / macros / Interface / Increase_Font_Size.bsh < prev    next >
Text File  |  2013-07-28  |  1KB  |  43 lines
  1. /*
  2. * Increase_Font_Size.bsh - a BeanShell macro for the jEdit text
  3. * editor - Increases editor & gutter font size by 1.
  4. *
  5. * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
  6. *
  7. * $Id: Increase_Font_Size.bsh 21353 2012-03-14 09:46:51Z jojaba_67 $
  8. */
  9.  
  10. //Localization
  11. final static String FontSizeMessage = jEdit.getProperty("macro.rs.ChangeFontSize.FontSize.message", "Font size now:");
  12.     
  13. //Process
  14. increaseFontSize()
  15. {
  16.     FONT_SIZE = "view.fontsize";
  17.     GUTTER_FONT_SIZE = "view.gutter.fontsize";
  18.     CONSOLE_FONT_SIZE = "console.fontsize";
  19.     size = jEdit.getIntegerProperty(FONT_SIZE,12) + 1;
  20.     jEdit.setIntegerProperty(FONT_SIZE,size);
  21.     jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size);
  22.     jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size);
  23.     jEdit.propertiesChanged();
  24.     jEdit.saveSettings();
  25.     view.getStatus().setMessageAndClear(FontSizeMessage + " " + size);
  26. }
  27.  
  28. increaseFontSize();
  29.  
  30. /*
  31.  
  32.     Macro index data (in DocBook format)
  33.  
  34. <listitem>
  35.     <para><filename>Increase_Font_Size.bsh</filename></para>
  36.     <abstract><para>
  37.         Increases the font size in the gutter and text area by 1 point.
  38.     </para></abstract>
  39. </listitem>
  40.  
  41. */
  42.  
  43.